A categorical semantics for fuzzy predicate logic
نویسندگان
چکیده
منابع مشابه
A categorical semantics for fuzzy predicate logic
Fuzzy Sets and Systems 161 (2010) 412-432 Elsevier www.elsevier.com/locate/fss A Categorical Semantics for Fuzzy Predicate Logic
متن کاملSequence semantics for dynamic predicate logic
In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments This semantics is compared with the usual relational semantics for dynamic predicate logic it is shown that the most important intuitions of the usual se mantics are preserved Then it is shown that the re ned semantics re ects out intuitions about information growth Some other issues in dyna...
متن کاملOn Reduced Semantics for Fuzzy Predicate Logics
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts being studied are the Leibniz congruence and the relative relation. On the one hand, the Leibniz congruence of a model identifies the elements that are indistinguishable...
متن کاملRelating Categorical Semantics for Intuitionistic Linear Logic
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationship between three of these linear typed calculi and their models. We point out that mere soundness and completeness of a linear typed calculus with respect to a class of categorical models are not sufficient to identify ...
متن کاملA note on fuzzy predicate logic
Recent development of mathematical fuzzy logic is brieey surveyed. The set of all formulas of predicate logic that are tautologies with respect to all continuous t-norms is shown to be heavily non-recursive ((2-hard).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2010
ISSN: 0165-0114
DOI: 10.1016/j.fss.2009.09.007